منابع مشابه
Translations, Endomorphisms, and Stable Equational Theories
Equational theories of an algebra, i.e. the equivalence relation closed under translations and endomorphisms, are formalized. The correspondence between equational theories and term rewriting systems is discussed in the paper. We get as the main result that any pair of elements of an algebra belongs to the equational theory generated by a set A of axioms iff the elements are convertible w.r.t. ...
متن کاملAlignment-based Translations Across Formal Systems Using Interface Theories
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of the respective libraries. Practical solutions for exchanging theorems across theorem provers have remained both weak and brittle. Consequently, libraries are n...
متن کاملInoué ON COMPATIBILITY OF THEORIES AND EQUIVALENT TRANSLATIONS
Suppose that Z is a subsystem of both, X and Y . Under some conditions, we can regard the given translation from X to Y as an embedding of Z into Y . What we shall be concerned with in this paper is to give a set of such conditions. The potential reader of this paper might be both philosophy and mathematics–minded. (Its technicality is very mild.) We shall give some simple example. The followin...
متن کاملExploring gravitational theories beyond Horndeski
We have recently proposed a new class of gravitational scalar-tensor theories free from Ostrogradski instabilities, in Ref. [1]. As they generalize Horndeski theories, or “generalized” galileons, we call them G. These theories possess a simple formulation when the time hypersurfaces are chosen to coincide with the uniform scalar field hypersurfaces. We confirm that they contain only three propa...
متن کاملAffective cognition: Exploring lay theories of emotion
Humans skillfully reason about others' emotions, a phenomenon we term affective cognition. Despite its importance, few formal, quantitative theories have described the mechanisms supporting this phenomenon. We propose that affective cognition involves applying domain-general reasoning processes to domain-specific content knowledge. Observers' knowledge about emotions is represented in rich and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cadernos de Tradução
سال: 2016
ISSN: 2175-7968
DOI: 10.5007/2175-7968.2016v36n3p214